منابع مشابه
Five papers on axiomatic theories of truth
S. Feferman, Reflecting on incompleteness. Journal of Symbolic Logic vol. 56 no. 1 (1991), pp. 1–49. W.N. Reinhardt, Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic vol. 15 no. 2 (1986), pp. 219–251. V. Halbach and L. Horsten, Axiomatizing Kripke’s theory of truth. Journal of Symbolic Logic vol. 71 no. 2 (2006), pp. 667–712....
متن کاملAxiomatic Foundations of Galilean Quantum Field Theories
A realistic axiomatic formulation of Galilean Quantum Field Theories is presented, from which the most important theorems of the theory can be deduced. In comparison with others formulations, the formal aspect has been improved by the use of certain mathematical theories, such as group theory and the theory of rigged Hilbert spaces. Our approach regards the fields as real things with symmetry p...
متن کاملAxiomatic Set Theories and Common Sense
Various axiomatic set theories (ZF, NBG, NF, and KPU) are studied with a critical eye. The basic mathematical and philosophical reasons behind their axioms are given, as well as their review from the commonsense point of view. An introduction to a \commonsense set theory" is attempted at the end.
متن کاملBuilding Large Composition Tables via Axiomatic Theories
The use of composition tables for efficiently representing and reasoning with jointly exhaustive pairwise disjoint sets of dyadic relations, is now well established in the AI literature. Whether typically built from axiomatic theories or from algebraic structures, most tables are built with a single theory in mind. We concentrate upon axiomatic theories for building these tables, and show how b...
متن کاملAxiomatic Characterization of Partial Ordinal Relations
In this paper '"c focus on the theoretical properties of non-numerical representation of the uncertainty. As usual, this representation is realized by an '"ordinal relation'' (or, equivalently, by a "comparative scale") among the "entities" (events, alternatives or ads) of a specific problem. After giving an overview of different. known axioms characterizing some classes of ordinal relations (a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2017
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-017-9444-z